Rotate First R←X⊖[K]Y

The form R←X⊖Y implies rotation along the first axis.  See Rotate.